Resolution (logic)
IN LOGIC, RULE OF INFERENCE
First-order resolution; First order resolution; Logical resolution; Binary resolution; Resolution principle; Robinson`s resolution principle; Method of resolution; Robinson's Resolution Algorithm; Resolvent (logic); Resolution inference; Resolution prover; Non-clausal resolution; Paramodulation
In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation complete theorem-proving technique for sentences in propositional logic and first-order logic. For propositional logic, systematically applying the resolution rule acts as a decision procedure for formula unsatisfiability, solving the (complement of the) Boolean satisfiability problem.